ANONIZE: A Large-Scale Anonymous Survey System Susan Hohenberger Johns Hopkins University Steven Myers

Source URL: eprint.iacr.org

• Cryptography
• Public-key cryptography
• Digital signature
• Ring signature
• Group signature
• Pseudorandom function family
• Commitment scheme
• Random oracle
• Secure multi-party computation

Emory University Journal Deadlines and General Ledger Close Dates for Fiscal Year 2018 To ensure the timely processing of transactions in the PeopleSoft Financial System, journal entries for FY 2018 should complete workf

Source URL: www.finance.emory.edu

Full-System Power Analysis and Modeling for Server Environments D. Economou, S. Rivoire, C. Kozyrakis, P. Ranganathan Stanford University / HP Labs Workshop on Modeling, Benchmarking, and Simulation (MoBS)

Source URL: rivoire.cs.sonoma.edu

• Server hardware
• Computer architecture
• Computing
• Itanium
• Blade server
• IBM System p

Verifying the Safety of a Flight-Critical System Guillaume Brat1 , David Bushnell2 , Misty Davies3 , Dimitra Giannakopoulou3 , Falk Howar4 ? , and Temesghen Kahsai1 1 Carnegie Mellon University

Source URL: www.falkhowar.de

• Computing
• Software engineering
• Formal methods
• Software
• Theoretical computer science
• Simulation software
• Visual programming languages
• Numerical software
• Simulink
• SIGNAL
• Autopilot
• Formal verification

M AR Q: Monitoring At Runtime with QEA Giles Reger, Helena Cuenca Cruz and David Rydeheard University of Manchester Abstract. Runtime monitoring is the process of checking whether an execution trace of a running system s

Source URL: www.cs.man.ac.uk

• Mathematical logic
• Logic
• Theoretical computer science
• Logic in computer science
• Runtime verification
• FO
• Quantifier

ZKPDL: A Language-Based System for Efficient Zero-Knowledge Proofs and Electronic Cash Sarah Meiklejohn University of California, San Diego smeiklej@ cs.ucsd.edu

Source URL: www.usenix.org

• Cryptography
• Public-key cryptography
• Computational complexity theory
• Zero-knowledge proof
• Proof of knowledge
• Commitment scheme
• Non-interactive zero-knowledge proof
• IP
• Cryptographic protocol
• NP
• RSA
• Zero knowledge

PIIK, A COLLABORATIVE NEWS FILTERING SYSTEM FOR AN ELEARNING COMMUNITY IN HIGHER EDUCATION Platteaux Hervé, Hoein Sergio, Monnard Jacques, Jimenez François and Collaud Gérald Centre NTE - University of Fribourg, Switz

Source URL: www3.unifr.ch

MINUTES UNIVERSITY OF HOUSTON SYSTEM BOARD OF REGENTS ACADEMIC AND STUDENT SUCCESS COMMITTEE Tuesday, May 17, 2011 – The members of the Academic and Student Success Committee of the

Source URL: www.uhsystem.edu

STUDENT CONDUCT SYSTEM HANDBOOK 2017 – 2018 TABLE OF CONTENTS SYRACUSE UNIVERSITY STATEMENT OF STUDENT RIGHTS AND RESPONSIBILITIES........................................2

Source URL: studentconduct.syr.edu

Assessment in Practice The University of North Carolina System’s Adoption of the NILOA Transparency Framework Christine Robinson1, John G. Frederick1, Elise Demeter1, Jodi Pettazzoni2, Muktha Jost3, Erin McNelis4, and

Source URL: www.learningoutcomeassessment.org